From c990525874bf5dc793f038d63b471a1d3a3466e4 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ian.jackson@citrix.com>
Date: Fri, 21 Sep 2018 18:16:35 +0100
Subject: [PATCH] wip

---
 debian/rules | 1 -
 1 file changed, 1 deletion(-)

diff --git a/debian/rules b/debian/rules
index 025c756db4..4fdb2ff885 100755
--- a/debian/rules
+++ b/debian/rules
@@ -127,7 +127,6 @@ override_dh_auto_configure:
 	:
 	cp debian/xen-kconfig xen/.config
 	make -C xen olddefconfig $(make_args_xen)
-	false
 	:
 	$(make_args_tools) ./configure \
 		--disable-stubdom \
-- 
2.30.2